COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Some notes on the advice taker
C00004 ENDMK
C⊗;
Some notes on the advice taker

1. What is obvious?  Obvious now that you mention it?
	If ∀x.P(x) is known, P(e), where  e  is an arbitrary expression,
is obvious now that you mention it, but isn't directly obvious, because
a general statement has an infinity of specializations.

	Resolution answers the question of what specializations to make
by rubbing literals against others and taking the most general common
instance.  However, we may ask whether resolution gets everything
it intuitively should.  For example, some common instances may require
resolution of higher level function expressions.  To put it another way
new possibilities for resolution may be created by reification.

WE NEED EXAMPLES.